NoC Dimensioning from Mathematical Models

Interactive Dimensioning of Parametric Models

We propose a solution for the dimensioning of parametric and procedural models. Dimensioning has long been a staple of technical drawings, and we present the first solution for interactive dimensioning: a dimension line positioning system that adapts to the view direction, given behavioral properties. After proposing a set of design principles for interactive dimensioning, we describe our solut...

Causal Explanation from Mathematical Models

Decision support systems may require the use of existing complex mathematical models. It is desirable to reduce the equations of such a model to an explanatory causal form to support decision making, for example in making decisions about the greenhouse effect. This paper presents an approach to constructing causal explanation from existing complex mathematical models. The method combines inform...

Some Mathematical Models from Population Genetics

1 Mutation and Random genetic drift 4 1.1 The Wright-Fisher model and the Kingman coalescent . . . . . . . . . . . . . . . . . . . 4 1.2 The Cannings model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.3 Adding mutations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.4 Inferring genealogies from data . . . . . . . . . . . . . ...

A Performance Evaluation of NoC-based Multicore Systems: From Traffic Analysis to NoC Latency Modelling

In this survey, we review several approaches for predicting performance of NoC-based multicore systems, starting from the traffic models to the complex NoC models for latency evaluation. We first review typical traffic models to represent the application workloads in NoC. Specifically, we review Markovian and nonMarkovian (e.g., self-similar or long range memory dependent) traffic models and di...

Mathematical Models of Branching